Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
4

Loop formulas for circumscription

Année:
2006
Langue:
english
Fichier:
PDF, 174 KB
english, 2006
5

Nonmonotonic causal theories

Année:
2004
Langue:
english
Fichier:
PDF, 420 KB
english, 2004
6

Stable models and circumscription

Année:
2011
Langue:
english
Fichier:
PDF, 311 KB
english, 2011
8

Translating LPOD and CR-Prolog2 into standard answer set programs

Année:
2018
Langue:
english
Fichier:
PDF, 213 KB
english, 2018
11

Time-of-flight measurement with femtosecond light pulses

Année:
2010
Langue:
english
Fichier:
PDF, 1.71 MB
english, 2010
12

The male fight-flight response: A result of SRY regulation of catecholamines?

Année:
2012
Langue:
english
Fichier:
PDF, 198 KB
english, 2012
13

A generalization of the Lin-Zhao theorem

Année:
2006
Langue:
english
Fichier:
PDF, 481 KB
english, 2006
21

Computing LPMLN using ASP and MLN solvers

Année:
2017
Langue:
english
Fichier:
PDF, 426 KB
english, 2017
22

Representing hybrid automata by action language modulo theories

Année:
2017
Langue:
english
Fichier:
PDF, 470 KB
english, 2017
32

A Probabilistic Extension of Action Language

Année:
2018
Langue:
english
Fichier:
PDF, 210 KB
english, 2018
34

First-order stable model semantics with intensional functions

Année:
2019
Langue:
english
Fichier:
PDF, 694 KB
english, 2019